T. Kurahashi, M. Okuda; "Disjunction and existence properties in modal arithmetic"